Epistemic Reasoning for Ambient Intelligence
نویسندگان
چکیده
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial not only for bringing intelligence to everyday environments, but also for providing the means for the different disciplines to collaborate. In this paper we highlight the importance of reasoning under partial observability in such dynamic and context-rich domains and illustrate the integration of an epistemic theory to an operational Ambient Intelligence infrastructure.
منابع مشابه
A Formal Theory for Reasoning About Action, Knowledge and Time
Aiming at achieving a proper regulation of their behavior in real-world environments, participating agents need to reason not only about the specifications of the environment they inhabit, but also about their own knowledge concerning its current state by exploiting information acquired at run-time. Considering the highly dynamic nature of most complex domains, the study of knowledge evolution ...
متن کاملA Reasoning Framework for Ambient Intelligence
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial not only for bringing intelligence to everyday environments, but also for providing the means for the different disciplines to collaborate. In this paper we describe the design of a reasoning framework, applied to an oper...
متن کاملA Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence
A key issue in the study of Ambient Intelligence is reasoning about context. The aim of context reasoning is to deduce new knowledge, based on the available context data. The endmost goal is to make the ambient services more ”intelligent”; closer to the specific needs of their users. The main challenges of this effort derive from the imperfect context information, and the dynamic and heterogene...
متن کاملIntention Recognition in Agents for Ambient Intelligence: Logic-Based Approaches
In this paper we discuss the contribution of intention recognition in agents in ambient intelligence, and the role of logic in intention recognition. We consider the relationship between causal theories used for planning and the knowledge representation and reasoning used for intention recognition. We look at the challenges and the issues, and we explore several case studies.
متن کاملReview of “ Dynamic Epistemic Logic ” ∗
The problem of how to extend epistemic logic (EL) in order to allow for reasoning about knowledge and belief in dynamic contexts gained increasing attention during the last 30 years in the fields of artificial intelligence, theoretical computer science and philosophical logic. EL is a branch of modal logic that was designed in the 60ies by Hintikka in order to study reasoning about knowledge an...
متن کامل